Skip to content

CI: Fix a typo for building PDF#4667

Merged
seisman merged 1 commit into
mainfrom
ci/fix
Jun 5, 2026
Merged

CI: Fix a typo for building PDF#4667
seisman merged 1 commit into
mainfrom
ci/fix

Conversation

@seisman
Copy link
Copy Markdown
Member

@seisman seisman commented Jun 5, 2026

Patches #4664

@seisman seisman added maintenance Boring but important stuff for the core devs skip-changelog Skip adding Pull Request to changelog labels Jun 5, 2026
@seisman seisman added this to the 0.19.0 milestone Jun 5, 2026
@seisman seisman merged commit 8a3d85b into main Jun 5, 2026
14 of 16 checks passed
@seisman seisman deleted the ci/fix branch June 5, 2026 02:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Boring but important stuff for the core devs skip-changelog Skip adding Pull Request to changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants